06 08 03 2 v 1 [ cs . S C ] 6 A ug 2 00 6 KBO as a Satisfaction Problem ⋆

ar X iv : c s / 06 08 12 0 v 1 [ cs . G T ] 3 0 A ug 2 00 6 Controller synthesis & Ordinal Automata

Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.

ar X iv : c s / 06 08 05 9 v 1 [ cs . L O ] 1 4 A ug 2 00 6 A Distribution Law for CCS and a New Congruence Result

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

ar X iv : h ep - e x / 00 08 06 5 v 1 2 6 A ug 2 00 0 Search for Large Extra Dimensions in Dielectron and Diphoton Production

/ 06 08 33 0 v 1 30 A ug 2 00 6 Phenomenology of Left - Right Twin Higgs Model

ar X iv : c s / 06 08 12 0 v 2 [ cs . G T ] 3 0 O ct 2 00 6 Controller synthesis & Ordinal Automata

Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.